-
1 исчисление высказываний
1) Engineering: propositional calculus2) Mathematics: PC (propositional calculus), sentence calculus, sentential calculus3) Information technology: prepositional calculus, sententional calculusУниверсальный русско-английский словарь > исчисление высказываний
-
2 пропозициональное исчисление
1) Mathematics: sentence calculus, sentential calculus2) Logics: propositional calculus3) Information technology: prepositional calculusУниверсальный русско-английский словарь > пропозициональное исчисление
-
3 многозначное пропозициональное исчисление
1) Biology: many-valued prepositional calculus2) Mathematics: multivalued propositional calculusУниверсальный русско-английский словарь > многозначное пропозициональное исчисление
-
4 высказывание
n. expression, statement, proposition; исчисление высказываний, prepositional calculusРусско-английский словарь математических терминов > высказывание
-
5 расширенное пропозициональное исчисление
Biology: extended prepositional calculusУниверсальный русско-английский словарь > расширенное пропозициональное исчисление
-
6 высказывание
* * *n. expression, statement, proposition;
исчисление высказываний - prepositional calculus -
7 высказывание
См. также в других словарях:
ПАРАНЕПРОТИВОРЕЧИВАЯ — логика (греч. παρά – возле, вне) – класс логических исчислений, в которых логический принцип «из противоречия следует все, что угодно», не имеет места. Термин «паранепротиворечивая логика» введен в 1976 перуанским философом Ф.Миро Квисада.… … Философская энциклопедия
Logic and the philosophy of mathematics in the nineteenth century — John Stillwell INTRODUCTION In its history of over two thousand years, mathematics has seldom been disturbed by philosophical disputes. Ever since Plato, who is said to have put the slogan ‘Let no one who is not a geometer enter here’ over the… … History of philosophy
Ockham’s world and future — Arthur Gibson PHILOSOPHICAL BIOGRAPHY Ockham was born in about 1285, certainly before 1290, probably in the village of Ockham, Surrey, near London. If his epitaph is accurate, he died on 10 April 1347. Yet Conrad of Megenberg, when writing to… … History of philosophy
Phenomenology (The beginnings of) — The beginnings of phenomenology Husserl and his predecessors Richard Cobb Stevens Edmund Husserl was the founder of phenomenology, one of the principal movements of twentieth century philosophy. His principal contribution to philosophy was his… … History of philosophy
Avicennism — (PerB|فلسفه سینایی) is a school of early Islamic philosophy which began during the middle of the Islamic Golden Age. The school was founded by Avicenna (Ibn Sina), an 11th century Persian philosopher who attempted to redefine the course of… … Wikipedia
Donkey pronoun — A donkey pronoun is a pronoun that is bound in semantics but not syntax.[1][2] Some writers prefer the term donkey anaphora, since it is the referential aspects and discourse or syntactic context that are of interest to researchers (see anaphora) … Wikipedia
Language of thought — Jerry A. Fodor s Language of Thought (LOT) hypothesis states that cognition and cognitive processes are only remotely plausible when expressed as computational in terms of representational systems. He uses empirical data drawn from linguistics… … Wikipedia
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия
American and British English differences — For the Wikipedia editing policy on use of regional variants in Wikipedia, see Wikipedia:Manual of style#National varieties of English. This is one of a series of articles about the differences between British English and American English, which … Wikipedia